@@
statement S;
@@

+ foo();
  S